Satistiability problem
[计] 可满足性问题
🧩 词语组成解析
🗣️ 情景例句
My niece is getting married,
我侄女即将结婚，
A secret between more than two is no secret.
两人以上知道的秘密就不算秘密。
Their population has now increased to 435,000, and today they make up about 13% of the population.
不过现在他们的人口已增长到435，000人，如今他们已占全国人口的13%。